Behavioural Mapping for Service Substitutability

نویسنده

  • Twittie Senivongse
چکیده

Service substitutability is now a challenge in the area of objectoriented systems. This is due to the restriction of the underlying type systems that recognise only syntactic compatibility which is based on the supported subtyping rules. This paper presents an idea to add behavioural mapping for flexible substitutability of services to a distributed object system. The complete implementation applies the idea to provide substitutability between versions of a service in which evolution of the service results in arbitrary change in the service interface, i.e. change which is not necessarily limited to the form of subtypes. The mechanism is done by a mediator object which is capable of transforming the behaviour of the service into the form expected by its clients by using some user-defined mapping functions. Such behavioural mapping can also be used to improve service selection.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Contextualization of Behavioral Substitutability and Refinement for Role Components in MAS

In this paper we focus on a new approach for the definition of context-based behavioural substitutability and refinement of roles in MAS, and provide a formal framework for modeling roles together with their composition. First, we introduce two flexible roles compatibility relations depending on the context of use (environment). The proposed compatibility relations take into account the propert...

متن کامل

On Usability and Behavioural Substitutability of Component Protocols

In this paper, we define the notion of usability – a soundness criterion for component protocols. Based on this notion, we present a new approach for the definition of component protocols compatibility, and we provide a framework for modeling usable component protocols together with their composition. This framework is discussed in terms of compatibility and substitutability checks of protocols...

متن کامل

Structural and behavioural compatibility of graphical service specifications

The ability of applications to dynamically discover required services is a key motivation for Web Services. However, this aspect is not entirely supported by current Web Services standards. It is our objective to develop a formal approach, allowing the automation of the discovery process. The approach is based on the matching of interface specifications of the required and provided services. In...

متن کامل

Choreographies and Behavioural Contracts on the Way to Dynamic Updates

We survey our work on choreographies and behavioural contracts in multiparty interactions. In particular theories of behavioural contracts are presented which enable reasoning about correct service composition (contract compliance) and service substitutability (contract refinement preorder) under different assumptions concerning service communication: synchronous address or name based communica...

متن کامل

Service substitution: a behavioral approach based on Petri nets

Service Substitution A Behavioral Approach Based on Petri Nets Service-Oriented Computing is an emerging computing paradigm that supports the modular design of (software) systems. Complex systems are designed by composing less complex systems, called services. Such a (complex) system is a distributed application often involving several cooperating enterprises. As a system usually changes over t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999